Formalising the Continuous/Discrete Modeling Step
نویسندگان
چکیده
منابع مشابه
Formalising the Continuous/Discrete Modeling Step
Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a train) is developed in both the continuous and discrete domains. The difference between the two is quantified using generic results from ODE theory, and these estimates can be compared with the exact solutions. Such res...
متن کاملFormalising the Bitcoin protocol
Bitcoin is a new, popular currency which is based on mathematical and cryptographic principles. The system relies on a decentralized peer-to-peer network of participants in which a majority decides on the validity of transactions. In this paper, the communication protocol used by Bitcoin to communicate between participants is investigated. We formally describe the protocol by specifying it in m...
متن کاملFormalising the Chisel Feature Notation
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic Specification) is an enhanced version of CHISEL with tightly defined rules for the syntax and static semantics of diagrams. More importantly, CRESS has formal denotations given by SDL (Specification and Description Lang...
متن کاملFormalising the Fisherman's Folly puzzle
This paper investigates the challenging problem of encoding the common sense knowledge involved in the manipulation of spatial objects from a reasoning about actions and change perspective. In particular, we propose a formal solution to a puzzle composed of non-trivial objects (such as holes and strings) assuming a version of the Situation Calculus written over first-order Equilibrium Logic, wh...
متن کاملFormalising the L4 microkernel API
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we describe one in more detail: the formalisation of the kernel’s Application Programming Interface using the B Method. We conclude that machine-supported formal verification of software is at a turning point; that it is now f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.55.8